(Fset_buffer_modified_p): Set buffer's
authorGerd Moellmann <gerd@gnu.org>
Tue, 16 Jan 2001 14:21:11 +0000 (14:21 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 16 Jan 2001 14:21:11 +0000 (14:21 +0000)
commit57b0537ad79b49b522c01a1cf073a1120dffe5c7
treeca4a1f575a9d9c55768b3baae508d4c7b58d6437
parentc8d25e768e6256b930d34f700160a2c25b861e35
(Fset_buffer_modified_p): Set buffer's
prevent_redisplay_optimizations_p flag.
src/buffer.c